A unifying framework for homogeneous model composition
نویسندگان
چکیده
منابع مشابه
A Unifying Framework for Model CheckingLabeled Kripke Structures
We build on the established work on modal transition systems and probabilistic speciications to sketch a framework in which system description, abstraction, and nite-state model checking all have a uniform presentation across various levels of qualitative and quantitative views together with mediating abstraction and concretization maps. We prove safety results for abstractions within and acros...
متن کاملA Unifying Framework for Adaptive Radar Detection in Homogeneous plus Structured Interference-Part II: Detectors Design
This paper deals with the problem of adaptive multidimensional/multichannel signal detection in homogeneous Gaussian disturbance with unknown covariance matrix and structured (unknown) deterministic interference. The aforementioned problem extends the well-known Generalized Multivariate Analysis of Variance (GMANOVA) tackled in the open literature. In a companion paper, we have obtained the Max...
متن کاملA Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researchers have focused on the definition of model composition approaches (operators) and the tools supporting them (model composition engines). Testing model composition engines is hard. It requires the synthesis and analysi...
متن کاملA Unifying Framework for Conceptual Data Modelling Concepts a Unifying Framework for Conceptual Data Modelling Concepts
For succesful information systems development, conceptual data modelling is essential. Nowadays many techniques for conceptual data modelling exist, examples are NIAM, FORM, PSM, many (E)ER variants, IFO, and FDM. In-depth comparisons of concepts of these techniques is very diicult as the mathematical formalisations of these techniques, if existing at all, are very diierent. As such there is a ...
متن کاملA Unifying Framework for ALP , CLP
This paper presents the TPCALP framework, a theorem-proving approach which aims to unify Abductive Logic Programming (ALP), Constraint Logic Programming (CLP) and Semantic Query Optimization (SQO). The framework combines the use of deenitions, as in ordinary logic programming, with the use of integrity constraints, as in ALP and SQO. The programmer can choose to represent knowledge in either fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2019
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-018-00707-8